Jeremy Gibbons: search on Z-Library

Clifton, David A., Gibbons, Jeremy, Davies, Jim, Tarassenko, Lionel

Year:

2007

Language:

english

File:

PDF, 544 KB

english, 2007

[IEEE 2012 First International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE) - Zurich, Switzerland (2012.06.5-2012.06.5)] 2012 First International Workshop on Realizing AI Synergies in Software Engineering (RAISE) - Machine learning and software engineering in health informatics

Year:

2012

Language:

english

File:

PDF, 177 KB

english, 2012

Unbounded Spigot Algorithms for the Digits of Pi

American Mathematical Monthly

Journal:

Year:

2006

Language:

english

File:

PDF, 968 KB

english, 2006

WHEN SEXUAL INFIDELITY TRIGGERS MURDER: EXAMINING THE IMPACT OF HOMICIDE LAW REFORM ON JUDICIAL ATTITUDES IN SENTENCING

Horder, Jeremy, Fitz-Gibbon, Kate

Journal:

The Cambridge Law Journal

Year:

2015

Language:

english

File:

PDF, 129 KB

english, 2015

Relational algebra by way of adjunctions

Gibbons, Jeremy, Henglein, Fritz, Hinze, Ralf, Wu, Nicolas

Journal:

Proceedings of the ACM on Programming Languages

Year:

2018

Language:

english

File:

PDF, 436 KB

english, 2018

Algorithm Design with Haskell || Thinning Algorithms

Year:

2020

File:

PDF, 31 KB

2020

Algorithm Design with Haskell || Greedy algorithms on trees

Year:

2020

File:

PDF, 160 KB

2020

Algorithm Design with Haskell || Partitions

Peter Y.H. Wong, Jeremy Gibbons

Year:

2020

File:

PDF, 121 KB

2020

Formalisations and applications of BPMN

Journal:

JEREMY FITZ-GIBBON, K. GILBEY HEWLETT

Year:

2011

Language:

english

File:

PDF, 605 KB

english, 2011

Transport containers developed at the Vancouver Public Aquarium for Puffins : Lunda cirrhata

Journal:

International Zoo Yearbook

Year:

1984

Language:

english

File:

PDF, 214 KB

english, 1984

Transport cage developed at the Vancouver Public Aquarium for Sea otters : Enhydra lutris

JEREMY FITZ-GIBBON, K. GILBEY HEWLETT

Journal:

International Zoo Yearbook

Year:

1984

Language:

english

File:

PDF, 170 KB

english, 1984

[Lecture Notes in Computer Science] Generic and Indexed Programming Volume 7470 || Generic Programming with Adjunctions

Gibbons, Jeremy, Jeuring, Johan

Year:

2012

Language:

english

File:

PDF, 815 KB

english, 2012

Generic Programming || Generic Programming within Dependently Typed Programming

Year:

2003

Language:

english

File:

PDF, 1.83 MB

english, 2003

Generic Programming ||

Gibbons, Jeremy, Jeuring, Johan

Year:

2003

Language:

english

File:

PDF, 21.86 MB

english, 2003

The CancerGrid experience: Metadata-based model-driven engineering for clinical trials

Davies, Jim, Gibbons, Jeremy, Harris, Steve, Crichton, Charles

Journal:

Cummings, Derek A. T., Iamsirithaworn, Sopon, Lessler, Justin T., McDermott, Aidan, Prasanthong, Rungnapa, Nisalak, Ananda, Jarman, Richard G., Burke, Donald S., Gibbons, Robert V., Farrar, Jeremy

Year:

2014

Language:

english

File:

PDF, 3.53 MB

english, 2014

The Impact of the Demographic Transition on Dengue in Thailand: Insights from a Statistical Analysis and Mathematical Modeling

Journal:

PLoS Medicine

Year:

2009

Language:

english

File:

PDF, 374 KB

english, 2009

Wrong-Site Surgery, Retained Surgical Items, and Surgical Fires

Hempel, Susanne, Maggard-Gibbons, Melinda, Nguyen, David K., Dawes, Aaron J., Miake-Lye, Isomi, Beroes, Jessica M., Booth, Marika J., Miles, Jeremy N. V., Shanman, Roberta, Shekelle, Paul G.

Journal:

JAMA Surgery

Year:

2015

Language:

english

File:

PDF, 253 KB

english, 2015

[ACM Press the ACM SIGPLAN Workshop - Seattle, Washington (2013.06.16-2013.06.19)] Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness - MSPC '13 - Program-centric cost models for locality

Blelloch, Guy E., Fineman, Jeremy, Gibbons, Phillip B., Simhadri, Harsha Vardhan

Year:

2013

Language:

english

File:

PDF, 251 KB

english, 2013

Structured programming in Java

Journal:

ACM SIGPLAN Notices

Year:

1998

Language:

english

File:

PDF, 315 KB

english, 1998

Functional Pearls

Journal of Functional Programming

Journal:

Year:

1996

Language:

english

File:

PDF, 329 KB

english, 1996

Functional Pearls

Journal of Functional Programming

Journal:

Year:

1996

Language:

english

File:

PDF, 1.07 MB

english, 1996

Kernels, in a nutshell

Journal of Logical and Algebraic Methods in Programming

Journal:

Year:

2015

Language:

english

File:

PDF, 523 KB

english, 2015

Weed Seed Resources for Birds in Fields with Contrasting Conventional and Genetically Modified Herbicide-Tolerant Crops

David W. Gibbons, David A. Bohan, Peter Rothery, Rick C. Stuart, Alison J. Haughton, Rod J. Scott, Jeremy D. Wilson, Joe N. Perry, Suzanne J. Clark, Robert J. G. Dawson and Les G. Firbank

Journal:

Proceedings Biological Sciences

Year:

2006

Language:

english

File:

PDF, 1.70 MB

english, 2006

Programming with ornaments

KO, HSIANG-SHANG, GIBBONS, JEREMY

Journal:

Journal of Functional Programming

Year:

2016

Language:

english

File:

PDF, 1.06 MB

english, 2016

[IEEE 2017 North American Power Symposium (NAPS) - Morgantown, WV (2017.9.17-2017.9.19)] 2017 North American Power Symposium (NAPS) - Load management system for tactical microgrids using solid state relays

Leger, Aaron St., Smith, Dylan, Spruce, Jeremy, Curtiss, Peter, Gibbons, Greg, Miller, Mike

Year:

2017

Language:

english

File:

PDF, 495 KB

english, 2017

Algorithm Design with Haskell || Binary search

Year:

2020

File:

PDF, 172 KB

2020

Algorithm Design with Haskell || Useful data structures

Year:

2020

File:

PDF, 110 KB

2020

Algorithm Design with Haskell || Dynamic Programming

Year:

2020

File:

PDF, 33 KB

2020

Algorithm Design with Haskell || Greedy algorithms on graphs

Year:

2020

File:

PDF, 164 KB

2020

Algorithm Design with Haskell || Selection

Year:

2020

File:

PDF, 116 KB

2020

Algorithm Design with Haskell || Exhaustive Search

Year:

2020

File:

PDF, 36 KB

2020

Algorithm Design with Haskell || Index

Year:

2020

File:

PDF, 63 KB

2020

Algorithm Design with Haskell || Sorting

Year:

2020

File:

PDF, 153 KB

2020

Algorithm Design with Haskell || Optimum bracketing

Year:

2020

File:

PDF, 173 KB

2020

Algorithm Design with Haskell || Basics

Year:

2020

File:

PDF, 31 KB

2020

Algorithm Design with Haskell || Segments and subsequences

Year:

2020

File:

PDF, 125 KB

2020

Algorithm Design with Haskell || Functional programming

Year:

2020

File:

PDF, 114 KB

2020

Algorithm Design with Haskell || Greedy algorithms on lists

Year:

2020

File:

PDF, 170 KB

2020

Algorithm Design with Haskell || Heuristic search

Year:

2020

File:

PDF, 153 KB

2020

Algorithm Design with Haskell || Preface

Year:

2020

File:

PDF, 47 KB

2020

Algorithm Design with Haskell || Introduction to thinning

Year:

2020

File:

PDF, 137 KB

2020

Algorithm Design with Haskell || Divide and Conquer

Year:

2020

File:

PDF, 39 KB

2020

Algorithm Design with Haskell || Efficient recursions

Year:

2020

File:

PDF, 132 KB

2020

Algorithm Design with Haskell || Ways of searching

Year:

2020

File:

PDF, 177 KB

2020

Algorithm Design with Haskell || Timing

Nicholas Gibbons, Jeremy J. Baumberg, Chris L. Bower, Mathias Kolle, Ullrich Steiner

Year:

2020

File:

PDF, 130 KB

2020

Scalable Cylindrical Metallodielectric Metamaterials

Journal:

Advanced Materials

Year:

2009

Language:

english

File:

PDF, 291 KB

english, 2009

Efficient parallel algorithms for tree accumulations

Jeremy Gibbons, Wentong Cai, David B. Skillicorn

Journal: